vector space over field